Discussion:Système de transition d'états

Autres discussions [liste]

Admissibilité
Neutralité
Droit d'auteur
Article de qualité
Bon article
Lumière sur
À faire
Archives
Commons

Cet article est indexé par les projets Informatique et Mathématiques.

Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.

**Évaluation** de l’article « **Système de transition d'états** »
Avancement	Importance	pour le projet
Ébauche	Moyenne		Informatique (discussion • critères • liste • stats • hist. • comité • stats vues)
Ébauche	À évaluer		Mathématiques (discussion • critères • liste • stats • hist. • comité • stats vues)

Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.

Calcul et indénombrabilité

Il est dit dans l'introduction que les système de transition d'états modélisent les calculs. Mais alors pourquoi l'ensemble des états peut-il être indénombrables ? Pour moi un calcul se fonde sur le dénombrable; --Pierre de Lyon (discuter) 21 octobre 2017 à 11:53 (CEST)[répondre]

Ce que la définition ne précise pas

Il est dit:

Il est à noter que la définition de la relation de transition ne précise pas s'il s'agit d'une relation binaire :

de $S$ dans $\Lambda \times S$ (cas non pertinent dans le cadre des systèmes de transition d'états) ;
de $S\times \Lambda$ dans $S$ (cas des automates finis) ;
de $S\times \Lambda _{1}$ dans $\Lambda _{2}\times S$ avec $\Lambda =\Lambda _{1}\times \Lambda _{2}$ (cas des transducteurs finis).

Ça ne veut pas dire grand chose puisque $S\times \Lambda \times S=S\times (\Lambda \times S)=(S\times \Lambda )\times S$ . --Pierre de Lyon (discuter) 21 octobre 2017 à 12:02 (CEST)[répondre]